gnus.texi (Changing Servers): Remove documentation on gnus-change-server and friends...
authorKatsumi Yamaoka <yamaoka@jpl.org>
Tue, 31 Aug 2010 00:34:43 +0000 (00:34 +0000)
committerKatsumi Yamaoka <yamaoka@jpl.org>
Tue, 31 Aug 2010 00:34:43 +0000 (00:34 +0000)
commitf97557f3e1432053707b6b764b821428a6a9e401
treee80f2a17f7272a7cce0aab47fccfe66f49462bd1
parentbcb1098458a819d7977f48623d0eaafbb04933b7
gnus.texi (Changing Servers): Remove documentation on gnus-change-server and friends, since it's been removed; by Lars Magne Ingebrigtsen <larsi@gnus.org>.
doc/misc/ChangeLog
doc/misc/gnus.texi